Logical hexagon
https://gyazo.com/2dd7b998cacf0dda6344a14a482dfee9
https://gyazo.com/50e54dec22c74c4442336ebb9781aadb
$ sAp必然
$ sEp否可能
$ sIp可能
$ sOp否必然
$ sUp\coloneqq s<p\lor s><p中閒値の排除 (第三項排除)$ \top $ sAp\lor sEp,$ \neg(sIp \land sOp),$ \square(s\to p)\lor\square\neg(s\to p)否偶然
$ sYp\coloneqq s<>p\land s>p視差の導入、境界
$ sIp\land sOp,$ \neg(sAp\lor sEp),$ \lozenge(s\to p)\land\lozenge\neg(s\to p)偶然 (contingency)。運
八角形
$ sAp\land sEp\coloneqq s<p\land s><p止揚の失敗、絕望$ \bot $ sAp\land sEp\implies\bot反對對當
$ \square(s\to p)\land\square\neg(s\to p),$ \square(s\to p)\land\neg\lozenge(s\to p)矛盾
$ \neg sIp\land\neg sOp\iff\neg(sIp\lor sOp)\implies\bot小反對對當
$ \lozenge(s\to p)\lor\lozenge\neg(s\to p),$ \lozenge(s\to p)\lor\neg\square(s\to p)否矛盾